Zalinescu, Eugen: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Runtime Verification over Out-of-order Streams

Basin, David, Klaedtke, Felix, Zălinescu, Eugen

Journal:

ACM Transactions on Computational Logic

Year:

2019

Language:

english

File:

PDF, 2.35 MB

english, 2019

2

Shorter strings containing all k-element permutations

Eugen Zălinescu

Journal:

Information Processing Letters

Year:

2011

Language:

english

File:

PDF, 144 KB

english, 2011

3

A trace-based model for multiparty contracts

Tom Hvitved, Felix Klaedtke, Eugen Zălinescu

Journal:

The Journal of Logic and Algebraic Programming

Year:

2012

Language:

english

File:

PDF, 2.37 MB

english, 2012

4

[IEEE 2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME) - L beck , Germany (2011.09.12-2011.09.14)] 2011 Eighteenth International Symposium on Temporal Representation and Reasoning - Monitoring Usage-Control Policies in Distributed Systems

Basin, David, Harvan, Matus, Klaedtke, Felix, Zalinescu, Eugen

Year:

2011

Language:

english

File:

PDF, 281 KB

english, 2011

5

Deciding safety and liveness in TPTL

Basin, David, Cotrini Jiménez, Carlos, Klaedtke, Felix, Zălinescu, Eugen

Journal:

Information Processing Letters

Year:

2014

Language:

english

File:

PDF, 399 KB

english, 2014

6

Monitoring Data Usage in Distributed Systems

Basin, David, Harvan, Matus, Klaedtke, Felix, Zalinescu, Eugen

Journal:

IEEE Transactions on Software Engineering

Year:

2013

Language:

english

File:

PDF, 2.39 MB

english, 2013

7

Greedily computing associative aggregations on sliding windows

Basin, David, Klaedtke, Felix, Zălinescu, Eugen

Journal:

Information Processing Letters

Year:

2015

Language:

english

File:

PDF, 367 KB

english, 2015

8

Enforceable Security Policies Revisited

Basin, David, Jugé, Vincent, Klaedtke, Felix, Zălinescu, Eugen

Journal:

ACM Transactions on Information and System Security

Year:

2013

Language:

english

File:

PDF, 425 KB

english, 2013

9

Monitoring of temporal first-order properties with aggregations

Basin, David, Klaedtke, Felix, Marinovic, Srdjan, Zălinescu, Eugen

Journal:

Formal Methods in System Design

Year:

2015

Language:

english

File:

PDF, 780 KB

english, 2015

10

Monitoring Metric First-Order Temporal Properties

Basin, David, Klaedtke, Felix, Müller, Samuel, Zălinescu, Eugen

Journal:

Journal of the ACM

Year:

2015

Language:

english

File:

PDF, 745 KB

english, 2015

11

[ACM Press the 7th ACM SIGPLAN international conference - Lisbon, Portugal (2005.07.11-2005.07.13)] Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '05 - A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures

Cortier, Véronique, Rusinowitch, Michael, Zǎlinescu, Eugen

Year:

2005

Language:

english

File:

PDF, 210 KB

english, 2005

12

Deciding security properties for cryptographic protocols. application to key cycles

Comon-Lundh, Hubert, Cortier, Véronique, Zălinescu, Eugen

Journal:

ACM Transactions on Computational Logic

Year:

2010

Language:

english

File:

PDF, 360 KB

english, 2010

13

Verified Cryptographic Implementations for TLS

Bhargavan, Karthikeyan, Fournet, Cédric, Corin, Ricardo, Zălinescu, Eugen

Journal:

ACM Transactions on Information and System Security

Year:

2012

Language:

english

File:

PDF, 982 KB

english, 2012

14

Algorithms for monitoring real-time properties

Basin, David, Klaedtke, Felix, Zălinescu, Eugen

Journal:

Acta Informatica

Year:

2017

Language:

english

File:

PDF, 884 KB

english, 2017

15

[ACM Press the 2017 ACM SIGSAC Conference - Dallas, Texas, USA (2017.10.30-2017.11.03)] Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security - CCS '17 - Verifying Security Policies in Multi-agent Workflows with Loops

Finkbeiner, Bernd, Müller, Christian, Seidl, Helmut, Zălinescu, Eugen

Year:

2017

Language:

english

File:

PDF, 1.16 MB

english, 2017

16

[IEEE 2018 IEEE 31st Computer Security Foundations Symposium (CSF) - Oxford, United Kingdom (2018.7.9-2018.7.12)] 2018 IEEE 31st Computer Security Foundations Symposium (CSF) - Inductive Invariants for Noninterference in Multi-agent Workflows

Muller, Christian, Seidl, Helmut, Zalinescu, Eugen

Year:

2018

Language:

english

File:

PDF, 312 KB

english, 2018

17

Runtime Verification over Out-of-order Streams

Basin, David, Klaedtke, Felix, Zălinescu, Eugen

Journal:

ACM Transactions on Computational Logic

Year:

2019

File:

PDF, 2.35 MB

2019